58 results
Higher-order free logic and the Prior-Kaplan paradox
-
- Journal:
- Canadian Journal of Philosophy / Volume 46 / Issue 4-5 / August 2016
- Published online by Cambridge University Press:
- 01 January 2020, pp. 493-541
-
- Article
- Export citation
The Balloon as an Instrument of Scientific Research
-
- Journal:
- The Aeronautical Journal / Volume 3 / Issue 10 / April 1899
- Published online by Cambridge University Press:
- 14 September 2016, pp. 29-37
-
- Article
- Export citation
Balloon Ascents in Thunderstorms
-
- Journal:
- The Aeronautical Journal / Volume 6 / Issue 24 / October 1902
- Published online by Cambridge University Press:
- 14 September 2016, pp. 62-65
-
- Article
- Export citation
The Active Therapeutic Processes of Acceptance and Commitment Therapy for Persistent Symptoms of Psychosis: Clients’ Perspectives
-
- Journal:
- Behavioural and Cognitive Psychotherapy / Volume 42 / Issue 4 / July 2014
- Published online by Cambridge University Press:
- 21 March 2013, pp. 402-420
- Print publication:
- July 2014
-
- Article
- Export citation
The Diagnosis and Prevalence of Hyperactivity in Chinese Schoolboys
-
- Journal:
- The British Journal of Psychiatry / Volume 168 / Issue 4 / April 1996
- Published online by Cambridge University Press:
- 02 January 2018, pp. 486-496
- Print publication:
- April 1996
-
- Article
- Export citation
Modalities, Philosophical essays. by Ruth Barcan Marcus, Oxford University Press, New York and Oxford1993, xiv + 266 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1009
- Print publication:
- September 1995
-
- Article
- Export citation
Weak Supervenience Supervenes
-
-
- Book:
- Supervenience
- Published online:
- 29 March 2010
- Print publication:
- 28 July 1995, pp 101-109
-
- Chapter
- Export citation
Behaviour Disorder in Pre-school Children in Hong Kong: A Two-Stage Epidemiological Study
-
- Journal:
- The British Journal of Psychiatry / Volume 158 / Issue 2 / February 1991
- Published online by Cambridge University Press:
- 02 January 2018, pp. 213-221
- Print publication:
- February 1991
-
- Article
- Export citation
The completeness of a predicate-functor logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 4 / December 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 903-926
- Print publication:
- December 1985
-
- Article
- Export citation
First-order logic based on inclusion and abstraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 4 / December 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 793-808
- Print publication:
- December 1982
-
- Article
- Export citation
Substance and first-order quantification over individual-concepts
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-203
- Print publication:
- June 1980
-
- Article
- Export citation
Timothy Smiley. Syllogism and quantification. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 58–72. - William Tuthill Parry. Quantification of the predicate and many-sorted logic. Philosophy and phenomenological research, vol. 26 no. 3 (1966), pp. 342–360.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
- Print publication:
- December 1975
-
- Article
- Export citation
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 57–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 660
- Print publication:
- December 1973
-
- Article
- Export citation
Isabel C. Hungerland. Contextual implication. Inquiry (Oslo), vol. 3 (1960), pp. 211–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
- Print publication:
- September 1970
-
- Article
- Export citation
R. A. Bull. The implicational fragment of Dummett's LC.The Journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 189–194.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Ivo Thomas. Finite limitations on Dummett's LC. Notre Dame journal of formal logic, vol. 3 (1962), pp. 170–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
- Print publication:
- 23 July 1968
-
- Article
- Export citation
C. A. Meredith. Postulates for Implicational calculi. The Journal of symbolic logic, vol. 31 (1966), pp. 7–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
- Print publication:
- 23 July 1968
-
- Article
- Export citation
R. A. Bull. Some results for implicational calculi. The Journal of symbolic logic, vol. 29 no. 1 (1964), pp. 33–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
- Print publication:
- 23 July 1968
-
- Article
- Export citation
C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 (1963), pp. 171–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Michael Dummett. A prepositional calculus with denumerable matrix. The Journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 97–106.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
- Print publication:
- 23 July 1968
-
- Article
- Export citation